Skip to content

replace curly quotes with straight quotes in comments #456

Open
pat-rogers wants to merge 2 commits intoAdaCore:masterfrom
pat-rogers:curly_quotes
Open

replace curly quotes with straight quotes in comments #456
pat-rogers wants to merge 2 commits intoAdaCore:masterfrom
pat-rogers:curly_quotes

Conversation

@pat-rogers
Copy link
Copy Markdown
Contributor

@pat-rogers pat-rogers commented Mar 23, 2026 •
edited
Loading

GNAT Studio cannot display them

@pat-rogers
Copy link
Copy Markdown
Contributor Author

pat-rogers commented Apr 13, 2026

I did the following but I don't see any indication of it:
git checkout curly_quotes
git fetch origin
git rebase origin/master
git push origin curly_quotes --force

@jklmnn
Copy link
Copy Markdown
Member

jklmnn commented Apr 14, 2026

It seems origin is pointing to your own fork which doesn't seem to be up to date yet. You can update it by

git remote add adacore https://github.com/AdaCore/Ada_Drivers_Library.git
git checkout master
git rebase adacore/master

to update your own master and then

git checkout curly_quotes
git rebase master
git push -f

@jklmnn jklmnn mentioned this pull request Apr 14, 2026
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@pat-rogers @jklmnn